Issue1886.agda:4,8-17
Unexpected type signature for parameter X
when checking the definition of D
